equivalence relation conditions